From imagery to ecology: Leveraging time series of all available Landsat observations to map and monitor ecosystem state and dynamics

https://zslpublications.onlinelibrary.wiley.com/doi/full/10.1002/rse2.24Published versio

Preliminary evaluation of the airborne imaging spectrometer for vegetation analysis

The primary goal of the project was to provide ground truth and manual interpretation of data from an experimental flight of the Airborne Infrared Spectrometer (AIS) for a naturally vegetated test site. Two field visits were made; one trip to note snow conditions and temporally related vegetation states at the time of the sensor overpass, and a second trip following acquisition of prints of the AIS images for field interpretation. Unfortunately, the ability to interpret the imagery was limited by the quality of the imagery due to the experimental nature of the sensor

Equilibrium Simulation of the Slip Coefficient in Nanoscale Pores

Accurate prediction of interfacial slip in nanoscale channels is required by many microfluidic applications. Existing hydrodynamic solutions based on Maxwellian boundary conditions include an empirical parameter that depends on material properties and pore dimensions. This paper presents a derivation of a new expression for the slip coefficient that is not based on the assumptions concerning the details of solid-fluid collisions and whose parameters are obtainable from \textit{equilibrium} simulation. The results for the slip coefficient and flow rates are in good agreement with non-equilibrium molecular dynamics simulation.Comment: 11 pages, 4 figures, submitted to Phys Rev Let

Preliminary evaluation of the airborne imaging spectrometer for vegetation analysis in the Klamath National Forest of northeastern California

The experiences and results associated with a project entitled Preliminary Evaluation of the Airborne Imaging Spectrometer for Vegetation Analysis is documented. The primary goal of the project was to provide ground truth, manual interpretation, and computer processing of data from an experimental flight of the Airborne Infrared Spectrometer (AIS) to determine the extent to which high spectral resolution remote sensing could differentiate among plant species, and especially species of conifers, for a naturally vegetated test site. Through the course of the research, JPL acquired AIS imagery of the test areas in the Klamath National Forest, northeastern California, on two overflights of both the Dock Well and Grass Lake transects. Over the next year or so, three generations of data was also received: first overflight, second overflight, and reprocessed second overflight. Two field visits were made: one trip immediately following the first overflight to note snow conditions and temporally-related vegetation states at the time of the sensor overpass; and a second trip about six weeks later, following acquisition of prints of the images from the first AIS overpass

Comparison of data and process refinement

When is it reasonable, or possible, to refine a one place buffer into a two place buffer? In order to answer this question we characterise refinement based on substitution in restricted contexts. We see that data refinement (specifically in Z) and process refinement give differing answers to the original question, and we compare the precise circumstances which give rise to this difference by translating programs and processes into labelled transition systems, so providing a common basis upon which to make the comparison. We also look at the closely related area of subtyping of objects. Along the way we see how all these sorts of computational construct are related as far as refinement is concerned, discover and characterise some (as far as we can tell) new sorts of refinement and, finally, point up some research avenues for the future

Testing refinements by refining tests

One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated. There has therefore been interest in developing test generation techniques from formal specifications, and a number of different methods have been derived for state based languages such as Z, B and VDM. However, in addition to deriving tests from a formal specification, we might wish to refine the specification further before its implementation. The purpose of this paper is to explore the relationship between testing and refinement. As our model for test generation we use a DNF partition analysis for operations written in Z, which produces a number of disjoint test cases for each operation. In this paper we discuss how the partition analysis of an operation alters upon refinement, and we develop techniques that allow us to refine abstract tests in order to generate test cases for a refinement. To do so we use (and extend existing) methods for calculating the weakest data refinement of a specification

Playing With Science: Exploring How Game Activity Motivates Users Participation on an Online Citizen Science Platform

Purpose – This paper examines intrinsic forms of motivation and particular incidents of play, socialisation, fun and amusement on an online crowdsourced citizen science platform. The paper also investigates gamised activity (Greenhill et al., 2014) as a form of intrinsic motivation adding a sense of play to work and tasks (Xu et al., 2012). These concepts are explored through close scrutiny of the online citizen science platform Zooniverse.org. Design/methodology/approach – Qualitative techniques with an interpretivist approach are used to analyse online content found within citizen science platforms, related forums and social media by examining incidents of play, socialisation, fun and amusement to investigate how these aspects are applied as a form of user motivation. Findings – We find that when users classify crowdsourced tasks voluntarily it does not matter how users are classifying as long as it is accurately. However, what does matter is why they are doing it particularly because of the complex processes that build relationships between users and the platform. We present a conceptual model to enable deeper understandings of how forms of social interaction and play are motivating users contributing to citizen science projects to participate in the online processes. Practical implications – The findings of this paper provide practical implications for how citizen science, and also other crowdsourcing platforms, can engage with notions of play and gamification to motivate participation. Originality/value – Using detailed examples of online content, we reveal how participants of the Zooniverse.org demonstrate aspects of ‘gamised’ behaviour. We argue that the exploration of gaming as well as play provides evidence that contributing to citizen science projects can be both utilitarian and hedonic